ro satisfies the descending chain condition on principal inner ideals. We also characterize when these algebras are Artinian, proving in particular that a finitary simple Lie algebra over an algebraically closed field of characteristic zero is Artinian if and only if it is finite dimensional. Because it is useful for our approach, we provide a characterization of the trace of a finite rank operator on a vector space over a division algebra which is intrinsic in the sense that it avoids imbeddings into finite matrices.